Denotational semantics - PDFSEARCH.IO - Document Search Engine

Denotational semantics
Results: 326

#	Item
221	Technical Report UCAM-CL-TR-453 ISSN[removed]Number 453 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-02-04 10:59:46 Applied mathematics Mathematics Denotational semantics Semantics of programming languages Operational semantics Axiomatic semantics Semantics Type safety Programming language Theoretical computer science Logic in computer science Programming language semantics
222	Denotational Semantics of the XML-λ Query Denotational Semantics of ?the XML-λ Query Language ? Language Pavel Loupal1 and Karel Richta2 Pavel Loupal1 and Karel Richta2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-03 05:17:25 Formal languages Models of computation Model theory Combinatorics on words Denotational semantics Lambda calculus String Structure Symbol Computing Mathematics Theoretical computer science
223	Generating Example Data for Dataflow Programs Christopher Olston Shubham Chopra Utkarsh Srivastava Add to Reading List Source URL: research.yahoo.com Language: English - Date: 2013-04-05 04:39:42 Computer science Computer architecture Algorithm Mathematical logic Denotational semantics Dataflow Stack Programming paradigm Models of computation Theoretical computer science Computing
224	Denotational Semantics of XML-Lambda Pavel Loupal1 and Karel Richta2 1 Department of Software Engineering, Czech Technical University, Faculty of Information Technology Prague, Czech Republic Add to Reading List Source URL: www.ksi.mff.cuni.cz Language: English - Date: 2010-07-05 10:29:45 Models of computation Lambda calculus Formal languages Model theory Programming language semantics Denotational semantics Structure String Symbol Theoretical computer science Mathematics Mathematical logic
225	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-13 08:35:12 Mathematics Models of computation Logic in computer science Logical syntax Metalogic Specification and Description Language Abstract state machines Denotational semantics Operational semantics Logic Theoretical computer science Formal languages
226	Linear process algebra LPA Vaughan Pratt Stanford University ICDCIT 2011 Bhubaneswar, Orissa, India Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-02-20 14:08:46 Linear algebra Mathematical structures Algebraic structures Bhubaneswar Denotational semantics Linear map Vector space Matrix Algebra Mathematics Abstract algebra
227	Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2014-01-16 16:42:44 Mathematical logic Models of computation ISO standards Object Constraint Language Logic in computer science ECO Denotational semantics Lambda calculus Predicate Mathematics Logic Unified Modeling Language
228	Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2013-01-12 07:47:16 Models of computation Model theory Unified Modeling Language Object Constraint Language Programming language semantics Null Denotational semantics ECO Statistical hypothesis testing Theoretical computer science Logic Mathematical logic
229	Featherweight OCL A Proposal for a Machine-Checked Formal Semantics for OCL 2.5 Achim D. Brucker∗ Fr´ed´eric Tuong‡ Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2014-01-16 16:42:44 Mathematical logic Models of computation ISO standards Object Constraint Language Logic in computer science ECO Denotational semantics Lambda calculus Predicate Mathematics Logic Unified Modeling Language
230	Towards a programming langauge ontology Add to Reading List Source URL: www.eden-study.org Language: English - Date: 2007-03-31 07:34:09 Semantic Web Information science Technical communication Logic in computer science Knowledge engineering Denotational semantics Semantics Domain theory Ontology Mathematics Science Logic

UPDATE